New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Migrate to Tomcat 10 #151

Merged

labkey-adam merged 1 commit into tomcat10 from tc10_repos

Dec 23, 2023

Contributor

labkey-adam commented Dec 23, 2023

Rationale

Tomcat 10 is coming... to town...


          Migrate to Tomcat 10

c11fd54

labkey-adam requested review from labkey-tchad and a team

December 23, 2023 05:59

labkey-tchad approved these changes

View reviewed changes

labkey-adam merged commit 8c1cbd0 into tomcat10

3 of 5 checks passed

labkey-adam deleted the tc10_repos branch

December 23, 2023 18:43

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet